<!doctype html>
<html>
  <head>
    <meta charset="UTF-8">
    <script src="lib/d3.js"></script>
    <script src="lib/jquery-1.11.3.js"></script>

    <link rel="stylesheet" type="text/css" href="viz.css">
</head>
<body>
    <p id="state-info"></p>
    <svg id="viz"/>

    <script src="js/init.js"></script>
    <script src="js/force_controls.js"></script>
    <script src="js/automata.js"></script>
    <script src="js/petrinet.js"></script>
    <script src="js/test_controller.js"></script>
</body>
</html>
